weakest precondition - Turco Inglés Diccionario